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-4254228-1501986022/watcher-4254228-1501986022 -o /tmp/evaluation-result-4254228-1501986022/solver-4254228-1501986022 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1711107909 HOME/instance-4254228-1501986022.xml
pid=19798
running on 4 cores: 0,2,4,6
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: 2.10 2.05 2.02 4/198 19801
/proc/meminfo: memFree=31431096/32770624 swapFree=0/323628
[pid=19801] ppid=19798 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (runsolver) D 19798 19801 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98255382 24240128 108 18446744073709551615 4194304 4338465 140723598556960 140723598554600 139794070713047 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22781952 140723598561378 140723598561868 140723598561868 140723598565322 0
/proc/19801/statm: 5918 108 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 2.10 2.05 2.02 4/198 19801
/proc/meminfo: memFree=31431096/32770624 swapFree=0/323628
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200244 s]
/proc/loadavg: 2.10 2.05 2.02 4/198 19801
/proc/meminfo: memFree=31431096/32770624 swapFree=0/323628
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300258 s]
/proc/loadavg: 2.10 2.05 2.02 4/198 19801
/proc/meminfo: memFree=31431096/32770624 swapFree=0/323628
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700733 s]
/proc/loadavg: 2.10 2.05 2.02 4/198 19801
/proc/meminfo: memFree=31431096/32770624 swapFree=0/323628
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50569 s]
/proc/loadavg: 2.10 2.05 2.02 5/214 19817
/proc/meminfo: memFree=31223148/32770624 swapFree=0/323668
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=4.1 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 16680 0 0 0 400 10 0 0 20 0 15 0 98255387 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 51620 3214 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 8595 0 0 0 132 6 0 0 20 0 15 0 98255388 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977687213424 139977302093072 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 98255388 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 98255388 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 98255388 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 98255388 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977227608992 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977226556400 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=1.05 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) R 19801 19801 12039 0 -1 4202560 2313 0 0 0 105 0 0 0 20 0 15 0 98255393 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977224442400 139977667898440 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 2024 0 0 0 106 0 0 0 20 0 15 0 98255393 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 2283 0 0 0 51 1 0 0 20 0 15 0 98255393 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98255396 14316269568 51620 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13990244
[startup+3.10078 s]
/proc/loadavg: 2.10 2.05 2.02 3/214 19817
/proc/meminfo: memFree=31195024/32770624 swapFree=0/323668
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=5.85 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 17012 0 0 0 572 13 0 0 20 0 15 0 98255387 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 57549 3223 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 8638 0 0 0 289 6 0 0 20 0 15 0 98255388 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977687212928 139977302092913 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 98255388 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 15 0 98255388 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 15 0 98255388 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 98255388 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=1.06 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 2314 0 0 0 106 0 0 0 20 0 15 0 98255393 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=1.09 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 2034 0 0 0 109 0 0 0 20 0 15 0 98255393 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 2324 0 0 0 54 1 0 0 20 0 15 0 98255393 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98255396 14316269568 57549 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 2.09 2.05 2.02 3/214 19817
/proc/meminfo: memFree=30926300/32770624 swapFree=0/323664
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=9.17 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 21110 0 0 0 897 20 0 0 20 0 15 0 98255387 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 91553 3225 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 9439 0 0 0 604 8 0 0 20 0 15 0 98255388 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977687212928 139977302093017 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 217 0 0 0 3 2 0 0 20 0 15 0 98255388 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 707 0 0 0 3 2 0 0 20 0 15 0 98255388 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 114 0 0 0 3 2 0 0 20 0 15 0 98255388 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 123 0 0 0 4 2 0 0 20 0 15 0 98255388 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 610 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 2345 0 0 0 107 1 0 0 20 0 15 0 98255393 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 2685 0 0 0 112 0 0 0 20 0 15 0 98255393 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 3140 0 0 0 55 1 0 0 20 0 15 0 98255393 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 98255396 14316269568 91553 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.08 2.05 2.02 3/214 19817
/proc/meminfo: memFree=30886360/32770624 swapFree=0/323680
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=15.68 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 22649 0 0 0 1544 24 0 0 20 0 15 0 98255387 14316269568 105820 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 105820 3227 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 10087 0 0 0 1241 9 0 0 20 0 15 0 98255388 14316269568 105820 18446744073709551615 4194304 4196468 140725753033984 139977687212928 139977302093017 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 229 0 0 0 5 2 0 0 20 0 15 0 98255388 14316269568 105820 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 775 0 0 0 5 2 0 0 20 0 15 0 98255388 14316269568 105820 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
################
# More data... #
################
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=2.28 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 9015 0 0 0 227 1 0 0 20 0 15 0 98255393 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 10699 0 0 0 250 2 0 0 20 0 15 0 98255393 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 4910 0 0 0 67 2 0 0 20 0 15 0 98255393 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 591 0 0 0 4 2 0 0 20 0 15 0 98255396 14316269568 495404 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 108.43
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.84 1.97 1.99 3/215 19822
/proc/meminfo: memFree=26445332/32770624 swapFree=0/323736
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=168.98 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 54996 0 0 0 16811 87 0 0 20 0 15 0 98255387 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 767378 3240 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=161.9 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 20250 0 0 0 16150 40 0 0 20 0 15 0 98255388 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977687215480 139977303641638 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 1046 0 0 0 15 9 0 0 20 0 15 0 98255388 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 1962 0 0 0 15 9 0 0 20 0 15 0 98255388 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 1771 0 0 0 14 9 0 0 20 0 15 0 98255388 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 540 0 0 0 15 9 0 0 20 0 15 0 98255388 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 2778 0 0 0 2 0 0 0 20 0 15 0 98255390 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 9052 0 0 0 252 1 0 0 20 0 15 0 98255393 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=2.69 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 10732 0 0 0 267 2 0 0 20 0 15 0 98255393 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 4936 0 0 0 69 2 0 0 20 0 15 0 98255393 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 595 0 0 0 5 5 0 0 20 0 15 0 98255396 14316269568 767378 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 168.98
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.98 1.99 2.00 3/215 19824
/proc/meminfo: memFree=26356896/32770624 swapFree=0/323764
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=229.45 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 62129 0 0 0 22848 97 0 0 20 0 15 0 98255387 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 783301 3240 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=221.86 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 22865 0 0 0 22146 40 0 0 20 0 15 0 98255388 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977687213224 139977303474960 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 1089 0 0 0 17 11 0 0 20 0 15 0 98255388 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 2350 0 0 0 16 11 0 0 20 0 15 0 98255388 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 1827 0 0 0 16 11 0 0 20 0 15 0 98255388 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 1015 0 0 0 17 11 0 0 20 0 15 0 98255388 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 2975 0 0 0 2 0 0 0 20 0 15 0 98255390 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=2.68 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 10607 0 0 0 267 1 0 0 20 0 15 0 98255393 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=2.83 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 12005 0 0 0 281 2 0 0 20 0 15 0 98255393 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 5427 0 0 0 70 2 0 0 20 0 15 0 98255393 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 635 0 0 0 7 6 0 0 20 0 15 0 98255396 14316269568 783301 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 229.45
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 2.00 2.00 5/219 19917
/proc/meminfo: memFree=28274076/32770624 swapFree=0/323796
[pid=19801] ppid=19798 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/19801/stat : 19801 (xcsp3-exec) S 19798 19801 12039 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 98255382 9740288 344 18446744073709551615 4194304 5098028 140728225798928 140728225797032 140075140792956 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 30466048 140728225804705 140728225804909 140728225804909 140728225808363 0
/proc/19801/statm: 2378 344 289 221 0 87 0
[pid=19803] ppid=19801 vsize=13980732 CPUtime=247.19 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19801 19801 12039 0 -1 1077944320 64249 0 0 0 24619 100 0 0 20 0 15 0 98255387 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 140725753016528 139977682976503 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
/proc/19803/statm: 3495183 783302 3240 1 0 3483476 0
[pid=19803/tid=19804] ppid=19801 vsize=13980732 CPUtime=239.55 cores=0,2,4,6
/proc/19803/task/19804/stat : 19804 (java) R 19801 19801 12039 0 -1 4202560 24148 0 0 0 23915 40 0 0 20 0 15 0 98255388 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977687212560 139977304552098 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19805] ppid=19801 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/19803/task/19805/stat : 19805 (java) S 19801 19801 12039 0 -1 1077944384 1089 0 0 0 17 11 0 0 20 0 15 0 98255388 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977617410832 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19806] ppid=19801 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/19803/task/19806/stat : 19806 (java) S 19801 19801 12039 0 -1 1077944384 2350 0 0 0 16 11 0 0 20 0 15 0 98255388 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977616358288 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19807] ppid=19801 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/19803/task/19807/stat : 19807 (java) S 19801 19801 12039 0 -1 1077944384 1827 0 0 0 16 11 0 0 20 0 15 0 98255388 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977280896016 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19808] ppid=19801 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/19803/task/19808/stat : 19808 (java) S 19801 19801 12039 0 -1 1077944384 1015 0 0 0 17 11 0 0 20 0 15 0 98255388 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977279843472 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19809] ppid=19801 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/19803/task/19809/stat : 19809 (java) S 19801 19801 12039 0 -1 1077944384 2977 0 0 0 2 3 0 0 20 0 15 0 98255390 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977228662768 139977682987650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19810] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19810/stat : 19810 (java) S 19801 19801 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977227609056 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19811] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19811/stat : 19811 (java) S 19801 19801 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98255390 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977226556416 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19812] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19812/stat : 19812 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977225504976 139977682995099 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19813] ppid=19801 vsize=13980732 CPUtime=2.68 cores=0,2,4,6
/proc/19803/task/19813/stat : 19813 (java) S 19801 19801 12039 0 -1 1077944384 10607 0 0 0 267 1 0 0 20 0 15 0 98255393 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977224452592 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19814] ppid=19801 vsize=13980732 CPUtime=2.83 cores=0,2,4,6
/proc/19803/task/19814/stat : 19814 (java) S 19801 19801 12039 0 -1 1077944384 12005 0 0 0 281 2 0 0 20 0 15 0 98255393 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977223400048 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19815] ppid=19801 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/19803/task/19815/stat : 19815 (java) S 19801 19801 12039 0 -1 1077944384 6262 0 0 0 71 2 0 0 20 0 15 0 98255393 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977222347504 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19816] ppid=19801 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/19803/task/19816/stat : 19816 (java) S 19801 19801 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98255393 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977221295200 139977682986709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
[pid=19803/tid=19817] ppid=19801 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/19803/task/19817/stat : 19817 (java) S 19801 19801 12039 0 -1 1077944384 635 0 0 0 8 6 0 0 20 0 15 0 98255396 14316269568 783302 18446744073709551615 4194304 4196468 140725753033984 139977220241712 139977682987650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30289920 140725753037274 140725753037449 140725753037449 140725753040847 0
Current children cumulated CPU time (s) 247.19
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 19803 sig 9
??? kill 19801 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 19801 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=1924
# CPU time returned by wait4() is 0.001924
# while last known CPU time is 247.19
#
# 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): 247.19
CPU user time (s): 246.19
CPU system time (s): 1
CPU usage (%): 102.991
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001924
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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.34775 second user time and 1.36723 second system time
The end