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-4255283-1501980031/watcher-4255283-1501980031 -o /tmp/evaluation-result-4255283-1501980031/solver-4255283-1501980031 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1257513498 HOME/instance-4255283-1501980031.xml
pid=865
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.76 1.89 1.91 3/200 868
/proc/meminfo: memFree=31346076/32770624 swapFree=0/280624
[pid=868] ppid=865 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (runsolver) D 865 868 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45818427 24240128 107 18446744073709551615 4194304 4338465 140732396152096 140732396149736 140608969065175 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 26701824 140732396159074 140732396159564 140732396159564 140732396163018 0
/proc/868/statm: 5918 107 54 36 0 2156 0
[startup+0.109334 s]
/proc/loadavg: 1.76 1.89 1.91 3/200 868
/proc/meminfo: memFree=31346076/32770624 swapFree=0/280624
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200229 s]
/proc/loadavg: 1.76 1.89 1.91 3/200 868
/proc/meminfo: memFree=31346076/32770624 swapFree=0/280624
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/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.76 1.89 1.91 3/200 868
/proc/meminfo: memFree=31346076/32770624 swapFree=0/280624
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700506 s]
/proc/loadavg: 1.76 1.89 1.91 3/200 868
/proc/meminfo: memFree=31346076/32770624 swapFree=0/280624
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.76 1.89 1.91 5/216 884
/proc/meminfo: memFree=31266584/32770624 swapFree=0/280668
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13986384 CPUtime=3.68 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 38261 0 0 0 358 10 0 0 20 0 15 0 45818436 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3496596 35135 3184 1 0 3484889 0
[pid=870/tid=871] ppid=868 vsize=13986384 CPUtime=1.35 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 9795 0 0 0 131 4 0 0 20 0 15 0 45818436 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140406034035416 140405655446124 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45818437 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45818438 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45818439 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45818439 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13986384 CPUtime=0.94 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) R 868 868 30500 0 -1 4202560 11183 0 0 0 93 1 0 0 20 0 15 0 45818441 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405571215544 140406022088541 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13986384 CPUtime=0.91 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) R 868 868 30500 0 -1 4202560 12730 0 0 0 89 2 0 0 20 0 15 0 45818441 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405570162728 140406011346739 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13986384 CPUtime=0.44 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 3246 0 0 0 43 1 0 0 20 0 15 0 45818441 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13986384 CPUtime=0 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818445 14322057216 35135 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13995896
[startup+3.10074 s]
/proc/loadavg: 1.76 1.89 1.91 5/216 884
/proc/meminfo: memFree=31204748/32770624 swapFree=0/280668
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=8.63 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 45816 0 0 0 851 12 0 0 20 0 15 0 45818436 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 42103 3201 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 10732 0 0 0 290 6 0 0 20 0 15 0 45818436 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140406034036208 140405656157803 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45818438 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) R 868 868 30500 0 -1 4202560 13667 0 0 0 252 1 0 0 20 0 15 0 45818441 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405571209872 140406013768952 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=2.51 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) R 868 868 30500 0 -1 4202560 15535 0 0 0 249 2 0 0 20 0 15 0 45818441 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405570167120 140406013299332 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 4540 0 0 0 58 1 0 0 20 0 15 0 45818441 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 45818445 14316269568 42103 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 13990244
[startup+6.30155 s]
/proc/loadavg: 1.94 1.93 1.92 5/216 884
/proc/meminfo: memFree=31129148/32770624 swapFree=0/280676
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=18.39 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 70005 0 0 0 1823 16 0 0 20 0 15 0 45818436 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 65820 3234 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 12673 0 0 0 607 8 0 0 20 0 15 0 45818436 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140406034036376 140405661707322 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 45818437 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 45818438 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=5.72 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) R 868 868 30500 0 -1 4202560 23392 0 0 0 570 2 0 0 20 0 15 0 45818441 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405571218608 140406009485000 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=5.68 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) R 868 868 30500 0 -1 4202560 25027 0 0 0 565 3 0 0 20 0 15 0 45818441 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405570161104 140406011343538 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 6404 0 0 0 76 2 0 0 20 0 15 0 45818441 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 45818445 14316269568 65820 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.79 1.90 1.91 5/216 967
/proc/meminfo: memFree=31229832/32770624 swapFree=0/280696
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=26.73 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 72158 0 0 0 2656 17 0 0 20 0 15 0 45818436 14316269568 68240 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 68240 3242 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 13012 0 0 0 1244 8 0 0 20 0 15 0 45818436 14316269568 68240 18446744073709551615 4194304 4196468 140729837455584 140406034038832 140405655342897 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 15 0 45818437 14316269568 68240 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 45818437 14316269568 68240 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
################
# More data... #
################
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 101961 0 0 0 17823 36 0 0 20 0 15 0 45818436 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 66092 3247 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=161.52 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 18252 0 0 0 16144 8 0 0 20 0 15 0 45818436 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140406034038624 140405661056010 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1436 0 0 0 48 3 0 0 20 0 15 0 45818437 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 1043 0 0 0 48 3 0 0 20 0 15 0 45818437 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 2440 0 0 0 47 3 0 0 20 0 15 0 45818437 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 1141 0 0 0 48 3 0 0 20 0 15 0 45818437 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 1574 0 0 0 7 1 0 0 20 0 15 0 45818438 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=7.02 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) S 868 868 30500 0 -1 1077944384 29433 0 0 0 699 3 0 0 20 0 15 0 45818441 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405571229808 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=6.88 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) S 868 868 30500 0 -1 1077944384 32724 0 0 0 684 4 0 0 20 0 15 0 45818441 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405570177008 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 11829 0 0 0 90 2 0 0 20 0 15 0 45818441 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 734 0 0 0 2 3 0 0 20 0 15 0 45818445 14316269568 66092 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 178.59
Current children cumulated vsize (KiB) 13990244
[startup+222.301 s]
/proc/loadavg: 1.60 1.83 1.90 3/219 990
/proc/meminfo: memFree=30941620/32770624 swapFree=0/280888
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=239.92 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 109840 0 0 0 23945 47 0 0 20 0 15 0 45818436 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 88629 3247 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=221.09 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 19339 0 0 0 22101 8 0 0 20 0 15 0 45818436 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140406034038800 140405661628528 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1764 0 0 0 83 5 0 0 20 0 15 0 45818437 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 2107 0 0 0 83 5 0 0 20 0 15 0 45818437 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 2805 0 0 0 81 6 0 0 20 0 15 0 45818437 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 1479 0 0 0 82 6 0 0 20 0 15 0 45818437 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 1855 0 0 0 12 1 0 0 20 0 15 0 45818438 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=7.08 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) S 868 868 30500 0 -1 1077944384 30531 0 0 0 705 3 0 0 20 0 15 0 45818441 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405571229808 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=7.02 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) S 868 868 30500 0 -1 1077944384 34624 0 0 0 698 4 0 0 20 0 15 0 45818441 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405570177008 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 13216 0 0 0 92 2 0 0 20 0 15 0 45818441 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 765 0 0 0 3 4 0 0 20 0 15 0 45818445 14316269568 88629 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 239.92
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.007 s]
/proc/loadavg: 1.58 1.81 1.89 3/218 990
/proc/meminfo: memFree=30912620/32770624 swapFree=0/280884
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=258.02 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 110353 0 0 0 25752 50 0 0 20 0 15 0 45818436 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 95796 3247 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=238.64 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 19446 0 0 0 23856 8 0 0 20 0 15 0 45818436 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140406034038720 140405660835887 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1880 0 0 0 95 6 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 2195 0 0 0 95 5 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 2884 0 0 0 93 7 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 1568 0 0 0 95 6 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 1857 0 0 0 13 2 0 0 20 0 15 0 45818438 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=7.08 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) S 868 868 30500 0 -1 1077944384 30563 0 0 0 705 3 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405571229808 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=7.02 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) S 868 868 30500 0 -1 1077944384 34624 0 0 0 698 4 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405570177008 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 13216 0 0 0 92 2 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 765 0 0 0 3 5 0 0 20 0 15 0 45818445 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 258.02
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 870 sig 9
??? kill 868 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.007 s]
/proc/loadavg: 1.58 1.81 1.89 3/218 990
/proc/meminfo: memFree=30912620/32770624 swapFree=0/280884
[pid=868] ppid=865 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (xcsp3-exec) S 865 868 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 45818427 9740288 345 18446744073709551615 4194304 5098028 140727787994976 140727787993080 140370456126076 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7868416 140727788003745 140727788003949 140727788003949 140727788007403 0
/proc/868/statm: 2378 345 289 221 0 87 0
[pid=870] ppid=868 vsize=13980732 CPUtime=258.02 cores=1,3,5,7
/proc/870/stat : 870 (java) S 868 868 30500 0 -1 1077944320 110353 0 0 0 25752 50 0 0 20 0 15 0 45818436 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140729837438128 140406029799159 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
/proc/870/statm: 3495183 95796 3247 1 0 3483476 0
[pid=870/tid=871] ppid=868 vsize=13980732 CPUtime=238.64 cores=1,3,5,7
/proc/870/task/871/stat : 871 (java) R 868 868 30500 0 -1 4202560 19446 0 0 0 23856 8 0 0 20 0 15 0 45818436 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140406034038720 140405660835887 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=872] ppid=868 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/870/task/872/stat : 872 (java) S 868 868 30500 0 -1 1077944384 1880 0 0 0 95 6 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405971745168 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=873] ppid=868 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/870/task/873/stat : 873 (java) S 868 868 30500 0 -1 1077944384 2195 0 0 0 95 5 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405629262096 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=874] ppid=868 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/870/task/874/stat : 874 (java) S 868 868 30500 0 -1 1077944384 2884 0 0 0 93 7 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405628209808 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=875] ppid=868 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/870/task/875/stat : 875 (java) S 868 868 30500 0 -1 1077944384 1568 0 0 0 95 6 0 0 20 0 15 0 45818437 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405627157008 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=876] ppid=868 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/870/task/876/stat : 876 (java) S 868 868 30500 0 -1 1077944384 1857 0 0 0 13 2 0 0 20 0 15 0 45818438 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405575441008 140406029810306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=877] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/877/stat : 877 (java) S 868 868 30500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405574386976 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=878] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/878/stat : 878 (java) S 868 868 30500 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45818439 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405573334640 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=879] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/879/stat : 879 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405572282960 140406029817755 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=880] ppid=868 vsize=13980732 CPUtime=7.08 cores=1,3,5,7
/proc/870/task/880/stat : 880 (java) S 868 868 30500 0 -1 1077944384 30563 0 0 0 705 3 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405571229808 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=881] ppid=868 vsize=13980732 CPUtime=7.02 cores=1,3,5,7
/proc/870/task/881/stat : 881 (java) S 868 868 30500 0 -1 1077944384 34624 0 0 0 698 4 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405570177008 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=882] ppid=868 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/870/task/882/stat : 882 (java) S 868 868 30500 0 -1 1077944384 13216 0 0 0 92 2 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405569124720 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=883] ppid=868 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/870/task/883/stat : 883 (java) S 868 868 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45818441 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405500799456 140406029809365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
[pid=870/tid=884] ppid=868 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/870/task/884/stat : 884 (java) S 868 868 30500 0 -1 1077944384 765 0 0 0 3 5 0 0 20 0 15 0 45818445 14316269568 95796 18446744073709551615 4194304 4196468 140729837455584 140405499747248 140406029810306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25698304 140729837461978 140729837462153 140729837462153 140729837465551 0
Current children cumulated CPU time (s) 258.02
Current children cumulated vsize (KiB) 13990244
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.022
CPU time (s): 258.051
CPU user time (s): 257.534
CPU system time (s): 0.517443
CPU usage (%): 107.511
Max. virtual memory (cumulated for all children) (KiB): 13995896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.534
system time used= 0.517443
maximum resident set size= 383700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11650
involuntary context switches= 573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01847 second user time and 1.63781 second system time
The end