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-4255357-1501622355/watcher-4255357-1501622355 -o /tmp/evaluation-result-4255357-1501622355/solver-4255357-1501622355 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 782044349 HOME/instance-4255357-1501622355.xml
pid=15741
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: 1.93 1.94 1.87 3/196 15744
/proc/meminfo: memFree=31631836/32770624 swapFree=0/193448
[pid=15744] ppid=15741 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (runsolver) D 15741 15744 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10858643 24240128 106 18446744073709551615 4194304 4338465 140729626004432 140729626002072 139700061233879 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17555456 140729626009693 140729626010182 140729626010182 140729626013642 0
/proc/15744/statm: 5918 106 53 36 0 2156 0
[startup+0.100056 s]
/proc/loadavg: 1.93 1.94 1.87 3/196 15744
/proc/meminfo: memFree=31631836/32770624 swapFree=0/193448
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) R 15741 15744 5091 0 -1 4202496 489 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 285 18446744073709551615 4194304 5098028 140727676477808 140727676477808 140080394348364 0 65538 5 65536 0 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 285 236 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200267 s]
/proc/loadavg: 1.93 1.94 1.87 3/196 15744
/proc/meminfo: memFree=31631836/32770624 swapFree=0/193448
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300373 s]
/proc/loadavg: 1.93 1.94 1.87 3/196 15744
/proc/meminfo: memFree=31631836/32770624 swapFree=0/193448
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70188 s]
/proc/loadavg: 1.93 1.94 1.87 3/196 15744
/proc/meminfo: memFree=31631836/32770624 swapFree=0/193448
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.93 1.94 1.87 5/212 15761
/proc/meminfo: memFree=31561776/32770624 swapFree=0/193276
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=3.8 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 21543 0 0 0 374 6 0 0 20 0 15 0 10858653 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 24693 3180 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 8980 0 0 0 130 3 0 0 20 0 15 0 10858653 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139884227073112 139883816850024 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) R 15744 15744 5091 0 -1 4202560 4264 0 0 0 96 0 0 0 20 0 15 0 10858659 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883562096880 139884202080496 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) R 15744 15744 5091 0 -1 4202560 3606 0 0 0 96 0 0 0 20 0 15 0 10858659 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883561042720 139884208850797 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 3383 0 0 0 51 1 0 0 20 0 15 0 10858659 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10858664 14316269568 24693 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13990244
[startup+3.10064 s]
/proc/loadavg: 1.93 1.94 1.87 4/212 15761
/proc/meminfo: memFree=31507784/32770624 swapFree=0/193276
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=7.86 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 24806 0 0 0 779 7 0 0 20 0 15 0 10858653 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 46029 3202 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 9472 0 0 0 289 4 0 0 20 0 15 0 10858653 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139884227073608 139883818098497 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 5415 0 0 0 208 0 0 0 20 0 15 0 10858659 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) S 15744 15744 5091 0 -1 1077944384 4948 0 0 0 220 1 0 0 20 0 15 0 10858659 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 3630 0 0 0 60 1 0 0 20 0 15 0 10858659 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10858664 14316269568 46029 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.94 1.94 1.87 3/212 15761
/proc/meminfo: memFree=31420380/32770624 swapFree=0/193288
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=11.64 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 25828 0 0 0 1153 11 0 0 20 0 15 0 10858653 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 54398 3220 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 9512 0 0 0 606 4 0 0 20 0 15 0 10858653 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139884227073400 139883817924784 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 10858654 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 10858654 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 10858654 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 5460 0 0 0 231 1 0 0 20 0 15 0 10858659 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=2.44 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) R 15744 15744 5091 0 -1 4202560 4988 0 0 0 243 1 0 0 20 0 15 0 10858659 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884206738146 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 3911 0 0 0 65 1 0 0 20 0 15 0 10858659 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10858664 14316269568 54398 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.86 1.93 1.86 3/212 15761
/proc/meminfo: memFree=31394452/32770624 swapFree=0/193288
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=18.96 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 32872 0 0 0 1884 12 0 0 20 0 15 0 10858653 14316269568 55594 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 55594 3231 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=12.48 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 10436 0 0 0 1244 4 0 0 20 0 15 0 10858653 14316269568 55594 18446744073709551615 4194304 4196468 140736530192512 139884227075760 139883817925299 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 10858654 14316269568 55594 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 10858654 14316269568 55594 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
################
# More data... #
################
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=3.26 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 12589 0 0 0 325 1 0 0 20 0 15 0 10858659 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=3.36 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) S 15744 15744 5091 0 -1 1077944384 12527 0 0 0 335 1 0 0 20 0 15 0 10858659 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 7381 0 0 0 71 2 0 0 20 0 15 0 10858659 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 679 0 0 0 1 2 0 0 20 0 15 0 10858664 14316269568 56243 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 110.65
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.83 1.84 1.84 3/211 15922
/proc/meminfo: memFree=31512976/32770624 swapFree=0/193444
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=171.87 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 61778 0 0 0 17143 44 0 0 20 0 15 0 10858653 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 78659 3231 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=161.27 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 15031 0 0 0 16122 5 0 0 20 0 15 0 10858653 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139884227073944 139883816913340 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 877 0 0 0 64 7 0 0 20 0 15 0 10858654 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 1782 0 0 0 63 7 0 0 20 0 15 0 10858654 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 2360 0 0 0 64 7 0 0 20 0 15 0 10858654 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 1532 0 0 0 63 8 0 0 20 0 15 0 10858654 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 1575 0 0 0 8 1 0 0 20 0 15 0 10858656 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=3.39 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 14689 0 0 0 338 1 0 0 20 0 15 0 10858659 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=3.41 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) S 15744 15744 5091 0 -1 1077944384 13798 0 0 0 340 1 0 0 20 0 15 0 10858659 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 8091 0 0 0 71 2 0 0 20 0 15 0 10858659 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 702 0 0 0 3 3 0 0 20 0 15 0 10858664 14316269568 78659 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 171.87
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.80 1.83 1.84 3/211 15924
/proc/meminfo: memFree=31302784/32770624 swapFree=0/193508
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=233.21 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 66099 0 0 0 23259 62 0 0 20 0 15 0 10858653 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 110451 3231 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=220.79 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 16089 0 0 0 22074 5 0 0 20 0 15 0 10858653 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139884227076112 139883819118891 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 1034 0 0 0 102 10 0 0 20 0 15 0 10858654 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 1960 0 0 0 101 11 0 0 20 0 15 0 10858654 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=1.13 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 2557 0 0 0 102 11 0 0 20 0 15 0 10858654 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 2263 0 0 0 100 12 0 0 20 0 15 0 10858654 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 1824 0 0 0 11 1 0 0 20 0 15 0 10858656 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=3.43 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 15628 0 0 0 342 1 0 0 20 0 15 0 10858659 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=3.44 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) S 15744 15744 5091 0 -1 1077944384 14451 0 0 0 343 1 0 0 20 0 15 0 10858659 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 8224 0 0 0 72 2 0 0 20 0 15 0 10858659 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 728 0 0 0 5 4 0 0 20 0 15 0 10858664 14316269568 110451 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 233.21
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.91 1.86 1.85 3/211 15924
/proc/meminfo: memFree=31452752/32770624 swapFree=0/193520
[pid=15744] ppid=15741 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15744/stat : 15744 (xcsp3-exec) S 15741 15744 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10858643 9740288 345 18446744073709551615 4194304 5098028 140727676477808 140727676475912 140080394347132 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12591104 140727676486044 140727676486247 140727676486247 140727676489707 0
/proc/15744/statm: 2378 345 289 221 0 87 0
[pid=15746] ppid=15744 vsize=13980732 CPUtime=251.41 cores=0,2,4,6
/proc/15746/stat : 15746 (java) S 15744 15744 5091 0 -1 1077944320 70818 0 0 0 25075 66 0 0 20 0 15 0 10858653 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 140736530175056 139884222836471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
/proc/15746/statm: 3495183 73242 3244 1 0 3483484 0
[pid=15746/tid=15747] ppid=15744 vsize=13980732 CPUtime=238.31 cores=0,2,4,6
/proc/15746/task/15747/stat : 15747 (java) R 15744 15744 5091 0 -1 4202560 16144 0 0 0 23826 5 0 0 20 0 15 0 10858653 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139884227076000 139883818448664 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15748] ppid=15744 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/15746/task/15748/stat : 15748 (java) S 15744 15744 5091 0 -1 1077944384 1478 0 0 0 116 11 0 0 20 0 15 0 10858654 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139884142250896 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15749] ppid=15744 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/15746/task/15749/stat : 15749 (java) S 15744 15744 5091 0 -1 1077944384 2120 0 0 0 115 12 0 0 20 0 15 0 10858654 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139884141198096 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15750] ppid=15744 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/15746/task/15750/stat : 15750 (java) S 15744 15744 5091 0 -1 1077944384 2798 0 0 0 115 12 0 0 20 0 15 0 10858654 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139884140145808 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15751] ppid=15744 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/15746/task/15751/stat : 15751 (java) S 15744 15744 5091 0 -1 1077944384 2521 0 0 0 114 13 0 0 20 0 15 0 10858654 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139884139093008 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15752] ppid=15744 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/15746/task/15752/stat : 15752 (java) S 15744 15744 5091 0 -1 1077944384 3460 0 0 0 13 1 0 0 20 0 15 0 10858656 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883566319728 139884222847618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15753] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15753/stat : 15753 (java) S 15744 15744 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883565265696 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15754] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15754/stat : 15754 (java) S 15744 15744 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10858656 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883564213360 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15755] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15755/stat : 15755 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883563161680 139884222855067 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15756] ppid=15744 vsize=13980732 CPUtime=3.45 cores=0,2,4,6
/proc/15746/task/15756/stat : 15756 (java) S 15744 15744 5091 0 -1 1077944384 15936 0 0 0 344 1 0 0 20 0 15 0 10858659 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883562109552 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15757] ppid=15744 vsize=13980732 CPUtime=3.49 cores=0,2,4,6
/proc/15746/task/15757/stat : 15757 (java) S 15744 15744 5091 0 -1 1077944384 15550 0 0 0 347 2 0 0 20 0 15 0 10858659 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883561056752 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15758] ppid=15744 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/15746/task/15758/stat : 15758 (java) S 15744 15744 5091 0 -1 1077944384 8740 0 0 0 73 2 0 0 20 0 15 0 10858659 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883560004464 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15759] ppid=15744 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15746/task/15759/stat : 15759 (java) S 15744 15744 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10858659 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883558951904 139884222846677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
[pid=15746/tid=15760] ppid=15744 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/15746/task/15760/stat : 15760 (java) S 15744 15744 5091 0 -1 1077944384 730 0 0 0 5 5 0 0 20 0 15 0 10858664 14316269568 73242 18446744073709551615 4194304 4196468 140736530192512 139883557898672 139884222847618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32145408 140736530198996 140736530199171 140736530199171 140736530202575 0
Current children cumulated CPU time (s) 251.41
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 15746 sig 9
??? kill 15744 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 15744 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=1909
# CPU time returned by wait4() is 0.001909
# while last known CPU time is 251.41
#
# 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): 251.41
CPU user time (s): 250.75
CPU system time (s): 0.66
CPU usage (%): 104.75
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001909
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.16114 second user time and 1.4507 second system time
The end