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-4255102-1501619638/watcher-4255102-1501619638 -o /tmp/evaluation-result-4255102-1501619638/solver-4255102-1501619638 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1490557137 HOME/instance-4255102-1501619638.xml
pid=20838
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: 2.25 2.02 1.93 2/199 20841
/proc/meminfo: memFree=31179916/32770624 swapFree=0/288756
[pid=20841] ppid=20838 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (runsolver) D 20838 20841 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9469577 24240128 108 18446744073709551615 4194304 4338465 140724803035488 140724803033128 139731403776727 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 18071552 140724803043420 140724803043910 140724803043910 140724803047370 0
/proc/20841/statm: 5918 108 54 36 0 2156 0
[startup+0.100189 s]
/proc/loadavg: 2.25 2.02 1.93 2/199 20841
/proc/meminfo: memFree=31179916/32770624 swapFree=0/288756
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.284886 s]
/proc/loadavg: 2.25 2.02 1.93 2/199 20841
/proc/meminfo: memFree=31179916/32770624 swapFree=0/288756
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302767 s]
/proc/loadavg: 2.25 2.02 1.93 2/199 20841
/proc/meminfo: memFree=31179916/32770624 swapFree=0/288756
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700929 s]
/proc/loadavg: 2.25 2.02 1.93 2/199 20841
/proc/meminfo: memFree=31179916/32770624 swapFree=0/288756
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.25 2.02 1.93 5/215 20857
/proc/meminfo: memFree=30973180/32770624 swapFree=0/288760
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
[pid=20843] ppid=20841 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20841 20841 5234 0 -1 1077944320 33697 0 0 0 373 8 0 0 20 0 15 0 9469585 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140735343714800 140090994028279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
/proc/20843/statm: 3495183 34397 3178 1 0 3483484 0
[pid=20843/tid=20844] ppid=20841 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/20843/task/20844/stat : 20844 (java) R 20841 20841 5234 0 -1 4202560 9147 0 0 0 132 4 0 0 20 0 15 0 9469586 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090998267072 140090640124658 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20845] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) S 20841 20841 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090594642704 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20846] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20841 20841 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090593590160 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20847] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20841 20841 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090592537616 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20848] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20841 20841 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090591485072 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20849] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20841 20841 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090472581104 140090994039426 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20850] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20841 20841 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090471527328 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20851] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20841 20841 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090470474736 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20852] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090469423312 140090994046875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20853] ppid=20841 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) R 20841 20841 5234 0 -1 4202560 10140 0 0 0 95 1 0 0 20 0 15 0 9469591 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090468363952 140090977439309 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20854] ppid=20841 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) R 20841 20841 5234 0 -1 4202560 8789 0 0 0 97 1 0 0 20 0 15 0 9469591 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090467304496 140090975572910 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20855] ppid=20841 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20841 20841 5234 0 -1 1077944384 4310 0 0 0 47 1 0 0 20 0 15 0 9469591 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090466265840 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20856] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090465213536 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20857] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469594 14316269568 34397 18446744073709551615 4194304 4196468 140735343732256 140090464160048 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 2.25 2.02 1.93 5/215 20857
/proc/meminfo: memFree=30727332/32770624 swapFree=0/288760
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
[pid=20843] ppid=20841 vsize=13980732 CPUtime=8 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20841 20841 5234 0 -1 1077944320 38188 0 0 0 789 11 0 0 20 0 15 0 9469585 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140735343714800 140090994028279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
/proc/20843/statm: 3495183 57200 3215 1 0 3483484 0
[pid=20843/tid=20844] ppid=20841 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/20843/task/20844/stat : 20844 (java) R 20841 20841 5234 0 -1 4202560 9897 0 0 0 289 5 0 0 20 0 15 0 9469586 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090998264456 140090642498930 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20845] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) S 20841 20841 5234 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090594642704 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20846] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20841 20841 5234 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090593590160 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20847] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20841 20841 5234 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090592537616 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20848] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20841 20841 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090591485072 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20849] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20841 20841 5234 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090472581104 140090994039426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20850] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20841 20841 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090471527328 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20851] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20841 20841 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090470474736 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20852] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090469423312 140090994046875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20853] ppid=20841 vsize=13980732 CPUtime=2.2 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20841 20841 5234 0 -1 1077944384 11320 0 0 0 219 1 0 0 20 0 15 0 9469591 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090468370928 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20854] ppid=20841 vsize=13980732 CPUtime=2.16 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20841 20841 5234 0 -1 1077944384 9317 0 0 0 215 1 0 0 20 0 15 0 9469591 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090467318384 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20855] ppid=20841 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20841 20841 5234 0 -1 1077944384 5385 0 0 0 60 1 0 0 20 0 15 0 9469591 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090466265840 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20856] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090465213536 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20857] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20841 20841 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9469594 14316269568 57200 18446744073709551615 4194304 4196468 140735343732256 140090464160048 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20843 sig 9
??? kill 20841 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 2.25 2.02 1.93 5/215 20857
/proc/meminfo: memFree=30727332/32770624 swapFree=0/288760
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
[pid=20843] ppid=20841 vsize=13980732 CPUtime=8.21 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20841 20841 5234 0 -1 1077944320 38209 0 0 0 810 11 0 0 20 0 15 0 9469585 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140735343714800 140090994028279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
/proc/20843/statm: 3495183 57221 3215 1 0 3483484 0
[pid=20843/tid=20844] ppid=20841 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/20843/task/20844/stat : 20844 (java) R 20841 20841 5234 0 -1 4202560 9897 0 0 0 299 5 0 0 20 0 15 0 9469586 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090998264456 140090637264740 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20845] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) S 20841 20841 5234 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090594642704 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20846] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20841 20841 5234 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090593590160 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20847] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20841 20841 5234 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090592537616 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20848] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20841 20841 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090591485072 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20849] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20841 20841 5234 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090472581104 140090994039426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20850] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20841 20841 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090471527328 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20851] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20841 20841 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090470474736 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20852] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090469423312 140090994046875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20853] ppid=20841 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20841 20841 5234 0 -1 1077944384 11325 0 0 0 222 1 0 0 20 0 15 0 9469591 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090468370928 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20854] ppid=20841 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) R 20841 20841 5234 0 -1 4202560 9321 0 0 0 222 1 0 0 20 0 15 0 9469591 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090467304096 140090972203510 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20855] ppid=20841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20841 20841 5234 0 -1 1077944384 5397 0 0 0 61 1 0 0 20 0 15 0 9469591 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090466265840 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20856] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090465213536 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20857] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20841 20841 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9469594 14316269568 57221 18446744073709551615 4194304 4196468 140735343732256 140090464160048 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 13990244
[startup+3.40643 s]
/proc/loadavg: 2.31 2.04 1.93 3/215 20857
/proc/meminfo: memFree=30530172/32770624 swapFree=0/288764
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
[pid=20843] ppid=20841 vsize=13980732 CPUtime=8.43 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20841 20841 5234 0 -1 1077944320 38224 0 0 0 832 11 0 0 20 0 15 0 9469585 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140735343714800 140090994028279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
/proc/20843/statm: 3495183 57261 3215 1 0 3483484 0
[pid=20843/tid=20844] ppid=20841 vsize=13980732 CPUtime=3.25 cores=1,3,5,7
/proc/20843/task/20844/stat : 20844 (java) R 20841 20841 5234 0 -1 4202560 9898 0 0 0 320 5 0 0 20 0 15 0 9469586 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090998264496 140090642117802 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20845] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) S 20841 20841 5234 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090594642704 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20846] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20841 20841 5234 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090593590160 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20847] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20841 20841 5234 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090592537616 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20848] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20841 20841 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090591485072 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20849] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20841 20841 5234 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090472581104 140090994039426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20850] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20841 20841 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090471527328 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20851] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20841 20841 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090470474736 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20852] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090469423312 140090994046875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20853] ppid=20841 vsize=13980732 CPUtime=2.24 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20841 20841 5234 0 -1 1077944384 11325 0 0 0 223 1 0 0 20 0 15 0 9469591 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090468370928 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20854] ppid=20841 vsize=13980732 CPUtime=2.25 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20841 20841 5234 0 -1 1077944384 9334 0 0 0 224 1 0 0 20 0 15 0 9469591 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090467318384 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20855] ppid=20841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20841 20841 5234 0 -1 1077944384 5398 0 0 0 61 1 0 0 20 0 15 0 9469591 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090466265840 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20856] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090465213536 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20857] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20841 20841 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9469594 14316269568 57261 18446744073709551615 4194304 4196468 140735343732256 140090464160048 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 13990244
[startup+3.50075 s]
/proc/loadavg: 2.31 2.04 1.93 3/215 20857
/proc/meminfo: memFree=30530172/32770624 swapFree=0/288764
[pid=20841] ppid=20838 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20841/stat : 20841 (xcsp3-exec) S 20838 20841 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9469577 9740288 345 18446744073709551615 4194304 5098028 140732377946256 140732377944360 139892772151932 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 11829248 140732377948571 140732377948775 140732377948775 140732377952235 0
/proc/20841/statm: 2378 345 289 221 0 87 0
[pid=20843] ppid=20841 vsize=13980732 CPUtime=8.56 cores=1,3,5,7
/proc/20843/stat : 20843 (java) S 20841 20841 5234 0 -1 1077944320 38342 0 0 0 843 13 0 0 20 0 15 0 9469585 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140735343714800 140090994028279 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
/proc/20843/statm: 3495183 61362 3220 1 0 3483484 0
[pid=20843/tid=20844] ppid=20841 vsize=13980732 CPUtime=3.33 cores=1,3,5,7
/proc/20843/task/20844/stat : 20844 (java) R 20841 20841 5234 0 -1 4202560 9899 0 0 0 328 5 0 0 20 0 15 0 9469586 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090998267440 140090641178485 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20845] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20845/stat : 20845 (java) S 20841 20841 5234 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090594642704 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20846] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20846/stat : 20846 (java) S 20841 20841 5234 0 -1 1077944384 428 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090593590160 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20847] ppid=20841 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20843/task/20847/stat : 20847 (java) S 20841 20841 5234 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 9469586 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090592537616 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20848] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20848/stat : 20848 (java) S 20841 20841 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9469586 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090591485072 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20849] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20849/stat : 20849 (java) S 20841 20841 5234 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090472581104 140090994039426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20850] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20850/stat : 20850 (java) S 20841 20841 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090471527392 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20851] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20851/stat : 20851 (java) S 20841 20841 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9469588 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090470474752 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20852] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20852/stat : 20852 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090469423312 140090994046875 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20853] ppid=20841 vsize=13980732 CPUtime=2.24 cores=1,3,5,7
/proc/20843/task/20853/stat : 20853 (java) S 20841 20841 5234 0 -1 1077944384 11325 0 0 0 223 1 0 0 20 0 15 0 9469591 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090468370928 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20854] ppid=20841 vsize=13980732 CPUtime=2.25 cores=1,3,5,7
/proc/20843/task/20854/stat : 20854 (java) S 20841 20841 5234 0 -1 1077944384 9334 0 0 0 224 1 0 0 20 0 15 0 9469591 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090467318384 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20855] ppid=20841 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/20843/task/20855/stat : 20855 (java) S 20841 20841 5234 0 -1 1077944384 5398 0 0 0 61 1 0 0 20 0 15 0 9469591 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090466265840 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20856] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20856/stat : 20856 (java) S 20841 20841 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9469591 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090465213536 140090994038485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
[pid=20843/tid=20857] ppid=20841 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20843/task/20857/stat : 20857 (java) S 20841 20841 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9469594 14316269568 61362 18446744073709551615 4194304 4196468 140735343732256 140090464160048 140090994039426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31559680 140735343739348 140735343739523 140735343739523 140735343742927 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 3.56911
CPU time (s): 8.66537
CPU user time (s): 8.51895
CPU system time (s): 0.146417
CPU usage (%): 242.788
Max. virtual memory (cumulated for all children) (KiB): 13991880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.51895
system time used= 0.146417
maximum resident set size= 246240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2413
involuntary context switches= 24
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0152 second user time and 0.029316 second system time
The end