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-4255262-1501618413/watcher-4255262-1501618413 -o /tmp/evaluation-result-4255262-1501618413/solver-4255262-1501618413 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1535179773 HOME/instance-4255262-1501618413.xml
pid=12889
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.69 1.81 1.86 3/198 12892
/proc/meminfo: memFree=30688432/32770624 swapFree=0/167128
[pid=12892] ppid=12889 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (runsolver) D 12889 12892 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3751861 24240128 108 18446744073709551615 4194304 4338465 140726271511760 140726271509400 139881303151319 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29908992 140726271520862 140726271521351 140726271521351 140726271524810 0
/proc/12892/statm: 5918 108 54 36 0 2156 0
[startup+0.100088 s]
/proc/loadavg: 1.69 1.81 1.86 3/198 12892
/proc/meminfo: memFree=30688432/32770624 swapFree=0/167128
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20027 s]
/proc/loadavg: 1.69 1.81 1.86 3/198 12892
/proc/meminfo: memFree=30688432/32770624 swapFree=0/167128
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300263 s]
/proc/loadavg: 1.69 1.81 1.86 3/198 12892
/proc/meminfo: memFree=30688432/32770624 swapFree=0/167128
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700557 s]
/proc/loadavg: 1.69 1.81 1.86 3/198 12892
/proc/meminfo: memFree=30688432/32770624 swapFree=0/167128
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.69 1.81 1.86 5/214 12908
/proc/meminfo: memFree=30560956/32770624 swapFree=0/167148
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13985180 CPUtime=4.05 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 32303 0 0 0 397 8 0 0 20 0 15 0 3751870 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3496295 49876 3189 1 0 3484596 0
[pid=12894/tid=12895] ppid=12892 vsize=13985180 CPUtime=1.34 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 10040 0 0 0 129 5 0 0 20 0 15 0 3751870 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415992961560 140415589883668 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3751871 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3751871 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3751871 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3751871 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3751872 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3751873 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415465911584 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3751873 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415464859248 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13985180 CPUtime=1.04 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) R 12892 12892 3187 0 -1 4202560 8677 0 0 0 104 0 0 0 20 0 15 0 3751875 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415462739912 140415970244629 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13985180 CPUtime=1.04 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) R 12892 12892 3187 0 -1 4202560 7937 0 0 0 104 0 0 0 20 0 15 0 3751875 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415461687352 140415970268071 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13985180 CPUtime=0.59 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 4311 0 0 0 59 0 0 0 20 0 15 0 3751875 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13985180 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 3751880 14320824320 49876 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13994692
[startup+3.10072 s]
/proc/loadavg: 1.69 1.81 1.86 5/214 12908
/proc/meminfo: memFree=30470312/32770624 swapFree=0/167148
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=8.41 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 42635 0 0 0 828 13 0 0 20 0 15 0 3751870 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 72992 3220 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 10370 0 0 0 284 5 0 0 20 0 15 0 3751870 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415992960008 140415591845458 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 67 0 0 0 4 1 0 0 20 0 15 0 3751871 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 268 0 0 0 3 1 0 0 20 0 15 0 3751871 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 3751871 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 70 0 0 0 3 1 0 0 20 0 15 0 3751871 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 3751872 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415464859248 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=2.29 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 12915 0 0 0 228 1 0 0 20 0 15 0 3751875 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=2.29 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 11612 0 0 0 228 1 0 0 20 0 15 0 3751875 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 5196 0 0 0 72 1 0 0 20 0 15 0 3751875 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 3751880 14316269568 72992 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.64 1.80 1.85 3/214 12908
/proc/meminfo: memFree=30322692/32770624 swapFree=0/167156
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=11.85 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 43135 0 0 0 1164 21 0 0 20 0 15 0 3751870 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 106083 3222 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=6.04 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 10474 0 0 0 597 7 0 0 20 0 15 0 3751870 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415992960440 140415591845674 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 155 0 0 0 7 2 0 0 20 0 15 0 3751871 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 314 0 0 0 7 2 0 0 20 0 15 0 3751871 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 587 0 0 0 5 1 0 0 20 0 15 0 3751871 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 142 0 0 0 7 2 0 0 20 0 15 0 3751871 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 3751872 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415464859248 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=2.35 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 12928 0 0 0 234 1 0 0 20 0 15 0 3751875 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 11617 0 0 0 231 1 0 0 20 0 15 0 3751875 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 5200 0 0 0 72 1 0 0 20 0 15 0 3751875 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 3751880 14316269568 106083 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.58 1.78 1.85 3/214 12908
/proc/meminfo: memFree=30079240/32770624 swapFree=0/167160
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=18.56 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 46962 0 0 0 1827 29 0 0 20 0 15 0 3751870 14316269568 169482 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 169482 3227 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=12.38 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 11592 0 0 0 1228 10 0 0 20 0 15 0 3751870 14316269568 169482 18446744073709551615 4194304 4196468 140723467645088 140415992962784 140415591636309 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 285 0 0 0 11 3 0 0 20 0 15 0 3751871 14316269568 169482 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 1494 0 0 0 10 4 0 0 20 0 15 0 3751871 14316269568 169482 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
################
# More data... #
################
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415464859264 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=3.25 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 21125 0 0 0 323 2 0 0 20 0 15 0 3751875 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 18245 0 0 0 303 1 0 0 20 0 15 0 3751875 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 7533 0 0 0 79 1 0 0 20 0 15 0 3751875 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 346 0 0 0 1 1 0 0 20 0 15 0 3751880 14316269568 245864 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (KiB) 13990244
[startup+162.302 s]
/proc/loadavg: 1.51 1.65 1.78 3/218 13024
/proc/meminfo: memFree=31020012/32770624 swapFree=0/167332
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=171.54 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 85920 0 0 0 17104 50 0 0 20 0 15 0 3751870 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 190320 3230 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=161.85 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 22779 0 0 0 16166 19 0 0 20 0 15 0 3751870 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415992962464 140415592416589 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 725 0 0 0 19 5 0 0 20 0 15 0 3751871 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 2487 0 0 0 18 5 0 0 20 0 15 0 3751871 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 1306 0 0 0 17 4 0 0 20 0 15 0 3751871 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 1084 0 0 0 19 5 0 0 20 0 15 0 3751871 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 2245 0 0 0 3 1 0 0 20 0 15 0 3751872 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415464859264 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 23777 0 0 0 394 2 0 0 20 0 15 0 3751875 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 21408 0 0 0 376 1 0 0 20 0 15 0 3751875 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 8336 0 0 0 84 1 0 0 20 0 15 0 3751875 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 381 0 0 0 2 2 0 0 20 0 15 0 3751880 14316269568 190320 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 171.54
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.37 1.58 1.75 3/215 13026
/proc/meminfo: memFree=31112724/32770624 swapFree=0/167368
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=231.91 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 91737 0 0 0 23140 51 0 0 20 0 15 0 3751870 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 170184 3230 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=221.82 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 23205 0 0 0 22163 19 0 0 20 0 15 0 3751870 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415992962656 140415592203349 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 747 0 0 0 21 5 0 0 20 0 15 0 3751871 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 2510 0 0 0 20 6 0 0 20 0 15 0 3751871 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 1320 0 0 0 19 4 0 0 20 0 15 0 3751871 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 1098 0 0 0 20 5 0 0 20 0 15 0 3751871 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 2248 0 0 0 4 1 0 0 20 0 15 0 3751872 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415464859264 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=4.15 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 26497 0 0 0 413 2 0 0 20 0 15 0 3751875 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=3.86 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 22687 0 0 0 385 1 0 0 20 0 15 0 3751875 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 9642 0 0 0 86 1 0 0 20 0 15 0 3751875 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 391 0 0 0 3 3 0 0 20 0 15 0 3751880 14316269568 170184 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 231.91
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.25 1.54 1.74 3/215 13027
/proc/meminfo: memFree=31124788/32770624 swapFree=0/167392
[pid=12892] ppid=12889 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (xcsp3-exec) S 12889 12892 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3751861 9740288 345 18446744073709551615 4194304 5098028 140731371463376 140731371461480 139815108633212 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30191616 140731371471260 140731371471464 140731371471464 140731371474923 0
/proc/12892/statm: 2378 345 289 221 0 87 0
[pid=12894] ppid=12892 vsize=13980732 CPUtime=249.66 cores=1,3,5,7
/proc/12894/stat : 12894 (java) S 12892 12892 3187 0 -1 1077944320 94538 0 0 0 24914 52 0 0 20 0 15 0 3751870 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140723467627632 140415988723447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
/proc/12894/statm: 3495183 166724 3230 1 0 3483484 0
[pid=12894/tid=12895] ppid=12892 vsize=13980732 CPUtime=239.48 cores=1,3,5,7
/proc/12894/task/12895/stat : 12895 (java) R 12892 12892 3187 0 -1 4202560 23939 0 0 0 23929 19 0 0 20 0 15 0 3751870 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415992962912 140415591720721 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12896] ppid=12892 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/12894/task/12896/stat : 12896 (java) S 12892 12892 3187 0 -1 1077944384 1152 0 0 0 22 5 0 0 20 0 15 0 3751871 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415908137360 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12897] ppid=12892 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/12894/task/12897/stat : 12897 (java) S 12892 12892 3187 0 -1 1077944384 2560 0 0 0 22 6 0 0 20 0 15 0 3751871 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415907084560 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12898] ppid=12892 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/12894/task/12898/stat : 12898 (java) S 12892 12892 3187 0 -1 1077944384 1438 0 0 0 21 4 0 0 20 0 15 0 3751871 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415906032272 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12899] ppid=12892 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/12894/task/12899/stat : 12899 (java) S 12892 12892 3187 0 -1 1077944384 1150 0 0 0 22 5 0 0 20 0 15 0 3751871 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415904979472 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12900] ppid=12892 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12894/task/12900/stat : 12900 (java) S 12892 12892 3187 0 -1 1077944384 2490 0 0 0 4 2 0 0 20 0 15 0 3751872 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415466965616 140415988734594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12901] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12901/stat : 12901 (java) S 12892 12892 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415465911648 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12902] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12902/stat : 12902 (java) S 12892 12892 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 3751873 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415464859264 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12903] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12903/stat : 12903 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751875 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415463807568 140415988742043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12904] ppid=12892 vsize=13980732 CPUtime=4.15 cores=1,3,5,7
/proc/12894/task/12904/stat : 12904 (java) S 12892 12892 3187 0 -1 1077944384 26499 0 0 0 413 2 0 0 20 0 15 0 3751875 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415462754416 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12905] ppid=12892 vsize=13980732 CPUtime=3.87 cores=1,3,5,7
/proc/12894/task/12905/stat : 12905 (java) S 12892 12892 3187 0 -1 1077944384 23364 0 0 0 386 1 0 0 20 0 15 0 3751875 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415461701616 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12906] ppid=12892 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/12894/task/12906/stat : 12906 (java) S 12892 12892 3187 0 -1 1077944384 10142 0 0 0 86 1 0 0 20 0 15 0 3751875 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415460649328 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12907] ppid=12892 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12894/task/12907/stat : 12907 (java) S 12892 12892 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3751876 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415459596768 140415988733653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
[pid=12894/tid=12908] ppid=12892 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12894/task/12908/stat : 12908 (java) S 12892 12892 3187 0 -1 1077944384 412 0 0 0 3 3 0 0 20 0 15 0 3751880 14316269568 166724 18446744073709551615 4194304 4196468 140723467645088 140415458544560 140415988734594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140723467649493 140723467649668 140723467649668 140723467653071 0
Current children cumulated CPU time (s) 249.66
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12894 sig 9
??? kill 12892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12892 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1908
# CPU time returned by wait4() is 0.001908
# while last known CPU time is 249.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 249.66
CPU user time (s): 249.14
CPU system time (s): 0.52
CPU usage (%): 104.021
Max. virtual memory (cumulated for all children) (KiB): 13994692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001908
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10061 second user time and 1.60904 second system time
The end