runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255050-1501619404/watcher-4255050-1501619404 -o /tmp/evaluation-result-4255050-1501619404/solver-4255050-1501619404 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 640142590 HOME/instance-4255050-1501619404.xml
pid=25878
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.54 1.74 1.82 4/200 25881
/proc/meminfo: memFree=31822960/32770624 swapFree=0/213368
[pid=25881] ppid=25878 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (runsolver) D 25878 25881 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61593865 24240128 106 18446744073709551615 4194304 4338465 140731104840080 140731104837720 140632142439127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37920768 140731104845916 140731104846405 140731104846405 140731104849866 0
/proc/25881/statm: 5918 106 53 36 0 2156 0
[startup+0.100059 s]
/proc/loadavg: 1.54 1.74 1.82 4/200 25881
/proc/meminfo: memFree=31822960/32770624 swapFree=0/213368
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200235 s]
/proc/loadavg: 1.54 1.74 1.82 4/200 25881
/proc/meminfo: memFree=31822960/32770624 swapFree=0/213368
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300559 s]
/proc/loadavg: 1.54 1.74 1.82 4/200 25881
/proc/meminfo: memFree=31822960/32770624 swapFree=0/213368
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700584 s]
/proc/loadavg: 1.54 1.74 1.82 4/200 25881
/proc/meminfo: memFree=31822960/32770624 swapFree=0/213368
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50061 s]
/proc/loadavg: 1.54 1.74 1.82 7/216 25897
/proc/meminfo: memFree=31688632/32770624 swapFree=0/213384
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
[pid=25883] ppid=25881 vsize=13980732 CPUtime=3.8 cores=1,3,5,7
/proc/25883/stat : 25883 (java) S 25881 25881 18930 0 -1 1077944320 25749 0 0 0 372 8 0 0 20 0 15 0 61593874 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140731231042160 140509389737719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
/proc/25883/statm: 3495183 30152 3189 1 0 3483484 0
[pid=25883/tid=25884] ppid=25881 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/25883/task/25884/stat : 25884 (java) R 25881 25881 18930 0 -1 4202560 9720 0 0 0 130 4 0 0 20 0 15 0 61593874 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140509393974936 140509389749654 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25885] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25885/stat : 25885 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140509324172048 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25886] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25886/stat : 25886 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140509323119504 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25887] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25887/stat : 25887 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140509322066960 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25888] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25888/stat : 25888 (java) S 25881 25881 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140509321014416 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25889] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25889/stat : 25889 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593876 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508867966960 140509389748866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25890] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25890/stat : 25890 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508866913184 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25891] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25891/stat : 25891 (java) S 25881 25881 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508865860592 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25892] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25892/stat : 25892 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593879 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508864809168 140509389756315 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25893] ppid=25881 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/25883/task/25893/stat : 25893 (java) R 25881 25881 18930 0 -1 4202560 5136 0 0 0 94 0 0 0 20 0 15 0 61593879 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508863741832 140509373223653 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25894] ppid=25881 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/25883/task/25894/stat : 25894 (java) R 25881 25881 18930 0 -1 4202560 6208 0 0 0 95 1 0 0 20 0 15 0 61593879 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508862691088 140509368977514 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25895] ppid=25881 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/25883/task/25895/stat : 25895 (java) R 25881 25881 18930 0 -1 1077944384 3346 0 0 0 51 0 0 0 20 0 15 0 61593880 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508861651696 140509389748866 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25896] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25896/stat : 25896 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593880 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508860599392 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25897] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25897/stat : 25897 (java) S 25881 25881 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61593884 14316269568 30152 18446744073709551615 4194304 4196468 140731231059616 140508859545904 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25881 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60082 s]
/proc/loadavg: 1.54 1.74 1.82 7/216 25897
/proc/meminfo: memFree=31688632/32770624 swapFree=0/213384
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
[pid=25883] ppid=25881 vsize=13980732 CPUtime=4.11 cores=1,3,5,7
/proc/25883/stat : 25883 (java) S 25881 25881 18930 0 -1 1077944320 26290 0 0 0 403 8 0 0 20 0 15 0 61593874 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140731231042160 140509389737719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
/proc/25883/statm: 3495183 32222 3189 1 0 3483484 0
[pid=25883/tid=25884] ppid=25881 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/25883/task/25884/stat : 25884 (java) R 25881 25881 18930 0 -1 4202560 9730 0 0 0 140 4 0 0 20 0 15 0 61593874 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140509393973696 140509003333403 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25885] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25885/stat : 25885 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140509324172048 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25886] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25886/stat : 25886 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140509323119504 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25887] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25887/stat : 25887 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140509322066960 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25888] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25888/stat : 25888 (java) S 25881 25881 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140509321014416 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25889] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25889/stat : 25889 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593876 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508867966960 140509389748866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25890] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25890/stat : 25890 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508866913184 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25891] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25891/stat : 25891 (java) S 25881 25881 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508865860592 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25892] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25892/stat : 25892 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593879 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508864809168 140509389756315 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25893] ppid=25881 vsize=13980732 CPUtime=1.04 cores=1,3,5,7
/proc/25883/task/25893/stat : 25893 (java) R 25881 25881 18930 0 -1 4202560 5626 0 0 0 104 0 0 0 20 0 15 0 61593879 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508863741832 140509369430819 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25894] ppid=25881 vsize=13980732 CPUtime=1.06 cores=1,3,5,7
/proc/25883/task/25894/stat : 25894 (java) R 25881 25881 18930 0 -1 4202560 6234 0 0 0 105 1 0 0 20 0 15 0 61593879 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508862691088 140509369235159 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25895] ppid=25881 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/25883/task/25895/stat : 25895 (java) S 25881 25881 18930 0 -1 1077944384 3361 0 0 0 52 0 0 0 20 0 15 0 61593880 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508861651696 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25896] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25896/stat : 25896 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593880 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508860599392 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25897] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25897/stat : 25897 (java) S 25881 25881 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61593884 14316269568 32222 18446744073709551615 4194304 4196468 140731231059616 140508859545904 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13990244
[startup+2.40069 s]
/proc/loadavg: 1.54 1.74 1.82 5/216 25897
/proc/meminfo: memFree=31595956/32770624 swapFree=0/213392
[pid=25881] ppid=25878 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) S 25878 25881 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61593865 9740288 345 18446744073709551615 4194304 5098028 140735394941248 140735394939352 139804874465916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26992640 140735394947483 140735394947686 140735394947686 140735394951147 0
/proc/25881/statm: 2378 345 289 221 0 87 0
[pid=25883] ppid=25881 vsize=13980732 CPUtime=6.42 cores=1,3,5,7
/proc/25883/stat : 25883 (java) S 25881 25881 18930 0 -1 1077944320 27767 0 0 0 633 9 0 0 20 0 15 0 61593874 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140731231042160 140509389737719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
/proc/25883/statm: 3495183 44273 3195 1 0 3483484 0
[pid=25883/tid=25884] ppid=25881 vsize=13980732 CPUtime=2.24 cores=1,3,5,7
/proc/25883/task/25884/stat : 25884 (java) R 25881 25881 18930 0 -1 4202560 9886 0 0 0 219 5 0 0 20 0 15 0 61593874 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140509393975080 140509005731961 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25885] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25885/stat : 25885 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140509324172048 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25886] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25886/stat : 25886 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140509323119504 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25887] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25887/stat : 25887 (java) S 25881 25881 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140509322066960 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25888] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25888/stat : 25888 (java) S 25881 25881 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61593875 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140509321014416 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25889] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25889/stat : 25889 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593876 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508867966960 140509389748866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25890] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25890/stat : 25890 (java) S 25881 25881 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508866913184 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25891] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25891/stat : 25891 (java) S 25881 25881 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61593877 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508865860592 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25892] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25892/stat : 25892 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593879 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508864809168 140509389756315 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25893] ppid=25881 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/25883/task/25893/stat : 25893 (java) S 25881 25881 18930 0 -1 1077944384 6344 0 0 0 176 1 0 0 20 0 15 0 61593879 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508863756784 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25894] ppid=25881 vsize=13980732 CPUtime=1.79 cores=1,3,5,7
/proc/25883/task/25894/stat : 25894 (java) S 25881 25881 18930 0 -1 1077944384 6446 0 0 0 178 1 0 0 20 0 15 0 61593879 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508862704240 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25895] ppid=25881 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/25883/task/25895/stat : 25895 (java) S 25881 25881 18930 0 -1 1077944384 3746 0 0 0 58 1 0 0 20 0 15 0 61593880 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508861651696 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25896] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25896/stat : 25896 (java) S 25881 25881 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61593880 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508860599392 140509389747925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
[pid=25883/tid=25897] ppid=25881 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25883/task/25897/stat : 25897 (java) S 25881 25881 18930 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 61593884 14316269568 44273 18446744073709551615 4194304 4196468 140731231059616 140508859545904 140509389748866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140731231064531 140731231064706 140731231064706 140731231068111 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 13990244
[startup+2.80063 s]
/proc/loadavg: 1.54 1.74 1.82 5/216 25897
/proc/meminfo: memFree=31595956/32770624 swapFree=0/213392
[pid=25881] ppid=25878 vsize=0 CPUtime=7.24 cores=1,3,5,7
/proc/25881/stat : 25881 (xcsp3-exec) Z 25878 25881 18930 0 -1 4227084 522 28174 0 0 0 0 714 10 20 0 1 0 61593865 0 0 18446744073709551615 0 0 0 0 0 0 0 5 65536 18446744073709551615 0 0 17 1 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/25881/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2.80081
CPU time (s): 7.24347
CPU user time (s): 7.14144
CPU system time (s): 0.102036
CPU usage (%): 258.621
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.14144
system time used= 0.102036
maximum resident set size= 200248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2266
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016525 second user time and 0.017796 second system time
The end