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-4255278-1501618498/watcher-4255278-1501618498 -o /tmp/evaluation-result-4255278-1501618498/solver-4255278-1501618498 -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 912269352 HOME/instance-4255278-1501618498.xml
pid=11475
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.75 1.88 1.92 4/197 11478
/proc/meminfo: memFree=31708156/32770624 swapFree=0/188392
[pid=11478] ppid=11475 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (runsolver) D 11475 11478 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10472859 24240128 106 18446744073709551615 4194304 4338465 140736505763696 140736505761336 140250629276375 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 9109504 140736505770077 140736505770566 140736505770566 140736505774026 0
/proc/11478/statm: 5918 106 53 36 0 2156 0
[startup+0.10022 s]
/proc/loadavg: 1.75 1.88 1.92 4/197 11478
/proc/meminfo: memFree=31708156/32770624 swapFree=0/188392
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201431 s]
/proc/loadavg: 1.75 1.88 1.92 4/197 11478
/proc/meminfo: memFree=31708156/32770624 swapFree=0/188392
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300257 s]
/proc/loadavg: 1.75 1.88 1.92 4/197 11478
/proc/meminfo: memFree=31708156/32770624 swapFree=0/188392
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700202 s]
/proc/loadavg: 1.75 1.88 1.92 4/197 11478
/proc/meminfo: memFree=31708156/32770624 swapFree=0/188392
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.75 1.88 1.92 5/213 11494
/proc/meminfo: memFree=31597136/32770624 swapFree=0/188672
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=3.93 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 37673 0 0 0 383 10 0 0 20 0 15 0 10472865 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 39086 3184 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 9786 0 0 0 134 4 0 0 20 0 15 0 10472865 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140692233717112 140691877063687 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10472867 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691413726240 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691412673392 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) R 11478 11478 5091 0 -1 4202560 13059 0 0 0 94 2 0 0 20 0 15 0 10472870 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691410551248 140692210179540 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) R 11478 11478 5091 0 -1 4202560 10231 0 0 0 96 1 0 0 20 0 15 0 10472870 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691409509784 140692211001305 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 3287 0 0 0 56 1 0 0 20 0 15 0 10472870 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472875 14316269568 39086 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.75 1.88 1.92 5/213 11494
/proc/meminfo: memFree=31554420/32770624 swapFree=0/188672
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=8.74 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 41123 0 0 0 864 10 0 0 20 0 15 0 10472865 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 41703 3198 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 10066 0 0 0 294 4 0 0 20 0 15 0 10472865 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140692233716232 140691878469750 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 10472867 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691413726240 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691412673392 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 14320 0 0 0 254 2 0 0 20 0 15 0 10472870 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=2.57 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) R 11478 11478 5091 0 -1 4202560 11927 0 0 0 256 1 0 0 20 0 15 0 10472870 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691409508944 140692211003132 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 3458 0 0 0 58 1 0 0 20 0 15 0 10472870 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10472875 14316269568 41703 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.93 1.92 1.93 3/216 11521
/proc/meminfo: memFree=31572540/32770624 swapFree=0/188700
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=12.04 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 44227 0 0 0 1193 11 0 0 20 0 15 0 10472865 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 35449 3202 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 10307 0 0 0 614 4 0 0 20 0 15 0 10472865 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140692233715920 140691878469588 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 10472867 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691413726240 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691412673392 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=2.58 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 14556 0 0 0 256 2 0 0 20 0 15 0 10472870 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) S 11478 11478 5091 0 -1 1077944384 12434 0 0 0 261 2 0 0 20 0 15 0 10472870 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691409517296 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 3778 0 0 0 60 2 0 0 20 0 15 0 10472870 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 1577 0 0 0 0 0 0 0 20 0 15 0 10472875 14316269568 35449 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.93 1.92 1.93 4/216 11522
/proc/meminfo: memFree=31570024/32770624 swapFree=0/188708
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=18.55 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 46286 0 0 0 1843 12 0 0 20 0 15 0 10472865 14316269568 36510 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 36510 3202 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 10755 0 0 0 1253 4 0 0 20 0 15 0 10472865 14316269568 36510 18446744073709551615 4194304 4196468 140721778700192 140692233716048 140691877692400 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 36510 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10472866 14316269568 36510 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
################
# More data... #
################
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691413726240 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691412673392 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 19451 0 0 0 290 2 0 0 20 0 15 0 10472870 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) S 11478 11478 5091 0 -1 1077944384 16334 0 0 0 285 2 0 0 20 0 15 0 10472870 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691409517296 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 7727 0 0 0 64 2 0 0 20 0 15 0 10472870 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 1872 0 0 0 1 2 0 0 20 0 15 0 10472875 14316269568 51982 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 108.71
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.95 1.94 3/213 11604
/proc/meminfo: memFree=31389140/32770624 swapFree=0/188872
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=172.29 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 69425 0 0 0 17199 30 0 0 20 0 15 0 10472865 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 76615 3228 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=162.02 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 13701 0 0 0 16196 6 0 0 20 0 15 0 10472865 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140692233715680 140691879498536 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 573 0 0 0 9 3 0 0 20 0 15 0 10472866 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 860 0 0 0 9 3 0 0 20 0 15 0 10472866 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 438 0 0 0 10 2 0 0 20 0 15 0 10472866 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 328 0 0 0 9 2 0 0 20 0 15 0 10472866 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 644 0 0 0 1 1 0 0 20 0 15 0 10472867 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691413726304 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691412673408 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=4.53 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 22067 0 0 0 451 2 0 0 20 0 15 0 10472870 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=4.22 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) S 11478 11478 5091 0 -1 1077944384 18116 0 0 0 419 3 0 0 20 0 15 0 10472870 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691409517296 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 9452 0 0 0 85 2 0 0 20 0 15 0 10472870 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 1894 0 0 0 2 3 0 0 20 0 15 0 10472875 14316269568 76615 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 172.29
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.94 1.94 1.94 3/213 11606
/proc/meminfo: memFree=31342840/32770624 swapFree=0/188908
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=232.74 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 72772 0 0 0 23241 33 0 0 20 0 15 0 10472865 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 80520 3230 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=221.99 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 14416 0 0 0 22193 6 0 0 20 0 15 0 10472865 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140692233716520 140691879498514 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 600 0 0 0 12 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 875 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 451 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 338 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 775 0 0 0 2 1 0 0 20 0 15 0 10472867 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691413726304 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691412673408 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=4.54 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 22123 0 0 0 452 2 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) S 11478 11478 5091 0 -1 1077944384 20064 0 0 0 445 3 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691409517296 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 9842 0 0 0 88 3 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 1936 0 0 0 3 4 0 0 20 0 15 0 10472875 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 232.74
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.82 1.91 1.93 3/213 11606
/proc/meminfo: memFree=31338924/32770624 swapFree=0/188920
[pid=11478] ppid=11475 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11478/stat : 11478 (xcsp3-exec) S 11475 11478 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10472859 9740288 345 18446744073709551615 4194304 5098028 140720429663856 140720429661960 140651553387132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 36110336 140720429670812 140720429671015 140720429671015 140720429674475 0
/proc/11478/statm: 2378 345 289 221 0 87 0
[pid=11480] ppid=11478 vsize=13980732 CPUtime=250.44 cores=0,2,4,6
/proc/11480/stat : 11480 (java) S 11478 11478 5091 0 -1 1077944320 72985 0 0 0 25010 34 0 0 20 0 15 0 10472865 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140721778682736 140692229480183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
/proc/11480/statm: 3495183 80520 3230 1 0 3483484 0
[pid=11480/tid=11481] ppid=11478 vsize=13980732 CPUtime=239.68 cores=0,2,4,6
/proc/11480/task/11481/stat : 11481 (java) R 11478 11478 5091 0 -1 4202560 14629 0 0 0 23962 6 0 0 20 0 15 0 10472865 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140692233716520 140691879498381 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11482] ppid=11478 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/11480/task/11482/stat : 11482 (java) S 11478 11478 5091 0 -1 1077944384 600 0 0 0 12 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691829615760 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11483] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11483/stat : 11483 (java) S 11478 11478 5091 0 -1 1077944384 875 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691828562960 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11484] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11484/stat : 11484 (java) S 11478 11478 5091 0 -1 1077944384 451 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691827510160 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11485] ppid=11478 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/11480/task/11485/stat : 11485 (java) S 11478 11478 5091 0 -1 1077944384 338 0 0 0 13 3 0 0 20 0 15 0 10472866 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691826457360 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11486] ppid=11478 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/11480/task/11486/stat : 11486 (java) S 11478 11478 5091 0 -1 1077944384 775 0 0 0 2 1 0 0 20 0 15 0 10472867 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691414780272 140692229491330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11487] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11487/stat : 11487 (java) S 11478 11478 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691413726304 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11488] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11488/stat : 11488 (java) S 11478 11478 5091 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10472868 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691412673408 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11489] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11489/stat : 11489 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691411621712 140692229498779 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11490] ppid=11478 vsize=13980732 CPUtime=4.54 cores=0,2,4,6
/proc/11480/task/11490/stat : 11490 (java) S 11478 11478 5091 0 -1 1077944384 22123 0 0 0 452 2 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691410570096 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11491] ppid=11478 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/11480/task/11491/stat : 11491 (java) S 11478 11478 5091 0 -1 1077944384 20064 0 0 0 445 3 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691409517296 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11492] ppid=11478 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/11480/task/11492/stat : 11492 (java) S 11478 11478 5091 0 -1 1077944384 9842 0 0 0 88 3 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691408464496 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11493] ppid=11478 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11480/task/11493/stat : 11493 (java) S 11478 11478 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10472870 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691407411936 140692229490389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
[pid=11480/tid=11494] ppid=11478 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/11480/task/11494/stat : 11494 (java) S 11478 11478 5091 0 -1 1077944384 1936 0 0 0 3 4 0 0 20 0 15 0 10472875 14316269568 80520 18446744073709551615 4194304 4196468 140721778700192 140691406359216 140692229491330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140721778708948 140721778709123 140721778709123 140721778712527 0
Current children cumulated CPU time (s) 250.44
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 11480 sig 9
??? kill 11478 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 11478 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=922
# CPU time returned by wait4() is 0.001844
# while last known CPU time is 250.44
#
# 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): 250.44
CPU user time (s): 250.1
CPU system time (s): 0.34
CPU usage (%): 104.346
Max. virtual memory (cumulated for all children) (KiB): 13995096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000922
system time used= 0.000922
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 0.925638 second user time and 1.55941 second system time
The end