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-4254372-1501613758/watcher-4254372-1501613758 -o /tmp/evaluation-result-4254372-1501613758/solver-4254372-1501613758 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2015748285 HOME/instance-4254372-1501613758.xml
pid=7493
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.00 1.84 1.71 4/200 7496
/proc/meminfo: memFree=31653060/32770624 swapFree=0/278324
[pid=7496] ppid=7493 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (runsolver) D 7493 7496 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8881548 24240128 106 18446744073709551615 4194304 4338465 140726375509008 140726375506648 139914313220823 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 7589888 140726375514205 140726375514694 140726375514694 140726375518154 0
/proc/7496/statm: 5918 106 53 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 2.00 1.84 1.71 4/200 7496
/proc/meminfo: memFree=31653060/32770624 swapFree=0/278324
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200718 s]
/proc/loadavg: 2.00 1.84 1.71 4/200 7496
/proc/meminfo: memFree=31653060/32770624 swapFree=0/278324
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300268 s]
/proc/loadavg: 2.00 1.84 1.71 4/200 7496
/proc/meminfo: memFree=31653060/32770624 swapFree=0/278324
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701878 s]
/proc/loadavg: 2.00 1.84 1.71 4/200 7496
/proc/meminfo: memFree=31653060/32770624 swapFree=0/278324
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 2.00 1.84 1.71 5/216 7512
/proc/meminfo: memFree=31569780/32770624 swapFree=0/278356
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13982956 CPUtime=3.9 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 29016 0 0 0 383 7 0 0 20 0 15 0 8881556 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495739 35483 3182 1 0 3484040 0
[pid=7498/tid=7499] ppid=7496 vsize=13982956 CPUtime=1.36 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 9129 0 0 0 132 4 0 0 20 0 15 0 8881556 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140536516186768 140536116621891 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8881557 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 8881558 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8881559 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8881559 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13982956 CPUtime=1 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) R 7496 7496 5234 0 -1 4202560 6060 0 0 0 100 0 0 0 20 0 15 0 8881561 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535986050008 140536493495544 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13982956 CPUtime=0.97 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) R 7496 7496 5234 0 -1 4202560 8487 0 0 0 96 1 0 0 20 0 15 0 8881561 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535984995848 140536493474188 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13982956 CPUtime=0.53 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 4011 0 0 0 53 0 0 0 20 0 15 0 8881561 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13982956 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8881566 14318546944 35483 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13992468
[startup+3.10062 s]
/proc/loadavg: 2.00 1.84 1.71 5/216 7512
/proc/meminfo: memFree=31511704/32770624 swapFree=0/278356
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=7.97 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 34028 0 0 0 789 8 0 0 20 0 15 0 8881556 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 40587 3189 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 9309 0 0 0 292 4 0 0 20 0 15 0 8881556 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140536516187632 140536116463638 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 8881558 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) R 7496 7496 5234 0 -1 4202560 8178 0 0 0 220 1 0 0 20 0 15 0 8881561 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535986064112 140536511953922 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) R 7496 7496 5234 0 -1 4202560 11050 0 0 0 217 1 0 0 20 0 15 0 8881561 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535985000656 140536491140032 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 4135 0 0 0 58 1 0 0 20 0 15 0 8881561 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 8881566 14316269568 40587 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 13990244
[startup+6.30058 s]
/proc/loadavg: 2.08 1.86 1.72 3/217 7513
/proc/meminfo: memFree=31474940/32770624 swapFree=0/278368
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=11.57 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 38682 0 0 0 1147 10 0 0 20 0 15 0 8881556 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 46210 3201 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 9833 0 0 0 610 5 0 0 20 0 15 0 8881556 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140536516188168 140536116272667 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 15 0 8881558 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.42 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) S 7496 7496 5234 0 -1 1077944384 9728 0 0 0 241 1 0 0 20 0 15 0 8881561 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535986063984 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) S 7496 7496 5234 0 -1 1077944384 12299 0 0 0 234 1 0 0 20 0 15 0 8881561 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535985011184 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 4301 0 0 0 60 1 0 0 20 0 15 0 8881561 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 952 0 0 0 0 0 0 0 20 0 15 0 8881566 14316269568 46210 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.07 1.86 1.72 3/217 7513
/proc/meminfo: memFree=31429652/32770624 swapFree=0/278368
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=18.01 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 42375 0 0 0 1790 11 0 0 20 0 15 0 8881556 14316269568 55990 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 55990 3220 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 10068 0 0 0 1249 5 0 0 20 0 15 0 8881556 14316269568 55990 18446744073709551615 4194304 4196468 140721465174352 140536516189976 140536116272562 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 55990 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 8881557 14316269568 55990 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
################
# More data... #
################
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.7 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) S 7496 7496 5234 0 -1 1077944384 14039 0 0 0 269 1 0 0 20 0 15 0 8881561 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535986063984 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) S 7496 7496 5234 0 -1 1077944384 15822 0 0 0 259 2 0 0 20 0 15 0 8881561 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535985011184 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 7086 0 0 0 64 1 0 0 20 0 15 0 8881561 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 1151 0 0 0 1 2 0 0 20 0 15 0 8881566 14316269568 58545 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 108.26
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.09 1.93 1.77 3/217 7517
/proc/meminfo: memFree=31310268/32770624 swapFree=0/278468
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=168.36 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 62985 0 0 0 16820 16 0 0 20 0 15 0 8881556 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 50876 3225 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 13540 0 0 0 16203 6 0 0 20 0 15 0 8881556 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140536516190400 140536119356817 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 293 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 360 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 3035 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 1686 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 1498 0 0 0 2 0 0 0 20 0 15 0 8881558 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.71 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) S 7496 7496 5234 0 -1 1077944384 14657 0 0 0 270 1 0 0 20 0 15 0 8881561 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535986063984 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.66 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) S 7496 7496 5234 0 -1 1077944384 17014 0 0 0 264 2 0 0 20 0 15 0 8881561 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535985011184 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 8364 0 0 0 65 1 0 0 20 0 15 0 8881561 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 1182 0 0 0 1 3 0 0 20 0 15 0 8881566 14316269568 50876 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 168.36
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.03 1.95 1.78 3/216 7519
/proc/meminfo: memFree=31085224/32770624 swapFree=0/278500
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=228.41 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 63833 0 0 0 22824 17 0 0 20 0 15 0 8881556 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 46006 3225 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=222.08 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 13789 0 0 0 22202 6 0 0 20 0 15 0 8881556 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140536516181840 140536118948845 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 297 0 0 0 3 1 0 0 20 0 15 0 8881557 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 363 0 0 0 3 1 0 0 20 0 15 0 8881557 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 3039 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 1691 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 1502 0 0 0 3 0 0 0 20 0 15 0 8881558 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.71 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) S 7496 7496 5234 0 -1 1077944384 14657 0 0 0 270 1 0 0 20 0 15 0 8881561 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535986063984 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.66 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) S 7496 7496 5234 0 -1 1077944384 17014 0 0 0 264 2 0 0 20 0 15 0 8881561 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535985011184 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 8934 0 0 0 65 1 0 0 20 0 15 0 8881561 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 1191 0 0 0 2 4 0 0 20 0 15 0 8881566 14316269568 46006 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 228.41
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.95 1.79 5/216 7598
/proc/meminfo: memFree=31518944/32770624 swapFree=0/278536
[pid=7496] ppid=7493 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7496/stat : 7496 (xcsp3-exec) S 7493 7496 5234 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 8881548 9740288 345 18446744073709551615 4194304 5098028 140725956020112 140725956018216 139773201887868 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 20643840 140725956022683 140725956022887 140725956022887 140725956026347 0
/proc/7496/statm: 2378 345 289 221 0 87 0
[pid=7498] ppid=7496 vsize=13980732 CPUtime=246.13 cores=0,2,4,6
/proc/7498/stat : 7498 (java) S 7496 7496 5234 0 -1 1077944320 65097 0 0 0 24595 18 0 0 20 0 15 0 8881556 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140721465156896 140536511950583 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
/proc/7498/statm: 3495183 44467 3225 1 0 3483484 0
[pid=7498/tid=7499] ppid=7496 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/7498/task/7499/stat : 7499 (java) R 7496 7496 5234 0 -1 4202560 14310 0 0 0 23970 6 0 0 20 0 15 0 8881556 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140536516190128 140536116682576 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7500] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7500/stat : 7500 (java) S 7496 7496 5234 0 -1 1077944384 324 0 0 0 3 1 0 0 20 0 15 0 8881557 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140536431365008 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7501] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7501/stat : 7501 (java) S 7496 7496 5234 0 -1 1077944384 780 0 0 0 3 1 0 0 20 0 15 0 8881557 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140536111426320 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7502] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7502/stat : 7502 (java) S 7496 7496 5234 0 -1 1077944384 3057 0 0 0 2 1 0 0 20 0 15 0 8881557 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140536110374032 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7503] ppid=7496 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/7498/task/7503/stat : 7503 (java) S 7496 7496 5234 0 -1 1077944384 1708 0 0 0 3 1 0 0 20 0 15 0 8881557 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140536109321232 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7504] ppid=7496 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7498/task/7504/stat : 7504 (java) S 7496 7496 5234 0 -1 1077944384 1736 0 0 0 3 0 0 0 20 0 15 0 8881558 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535990274160 140536511961730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7505] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7505/stat : 7505 (java) S 7496 7496 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535989220128 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7506] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7506/stat : 7506 (java) S 7496 7496 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 8881559 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535988167792 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7507] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7507/stat : 7507 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881561 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535987116112 140536511969179 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7508] ppid=7496 vsize=13980732 CPUtime=2.71 cores=0,2,4,6
/proc/7498/task/7508/stat : 7508 (java) S 7496 7496 5234 0 -1 1077944384 14659 0 0 0 270 1 0 0 20 0 15 0 8881561 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535986063984 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7509] ppid=7496 vsize=13980732 CPUtime=2.66 cores=0,2,4,6
/proc/7498/task/7509/stat : 7509 (java) S 7496 7496 5234 0 -1 1077944384 17017 0 0 0 264 2 0 0 20 0 15 0 8881561 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535985011184 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7510] ppid=7496 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/7498/task/7510/stat : 7510 (java) S 7496 7496 5234 0 -1 1077944384 8937 0 0 0 65 1 0 0 20 0 15 0 8881561 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535983958896 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7511] ppid=7496 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7498/task/7511/stat : 7511 (java) S 7496 7496 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8881562 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535982906336 140536511960789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
[pid=7498/tid=7512] ppid=7496 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7498/task/7512/stat : 7512 (java) S 7496 7496 5234 0 -1 1077944384 1213 0 0 0 2 4 0 0 20 0 15 0 8881566 14316269568 44467 18446744073709551615 4194304 4196468 140721465174352 140535981853104 140536511961730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30994432 140721465176532 140721465176707 140721465176707 140721465180111 0
Current children cumulated CPU time (s) 246.13
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 7498 sig 9
??? kill 7496 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 7496 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=1816
# CPU time returned by wait4() is 0.001816
# while last known CPU time is 246.13
#
# 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): 246.13
CPU user time (s): 245.95
CPU system time (s): 0.18
CPU usage (%): 102.55
Max. virtual memory (cumulated for all children) (KiB): 13992472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001816
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.13731 second user time and 1.36797 second system time
The end