runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14242 MiB free)
memory of node 1: 16384 MiB (11244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406512-1569399499/watcher-4406512-1569399499 -o /var/tmp/evaluation-result-4406512-1569399499/solver-4406512-1569399499 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1569396628-15287 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4406512-1569399499.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16075, runsolver pid=16072
Current StackSize limit: 8192 KiB
[startup+0.10184 s]*
/proc/loadavg: 1.65 1.65 1.58 5/229 16091
/proc/meminfo: memFree=26082424/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15144776 memory=28504 CPUtime=0.13 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 5680 0 0 0 12 1 0 0 20 0 15 0 515863777 15508250624 7126 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3786194 7126 3130 1 0 3748377 0
[pid=16077/tid=16078] ppid=16075 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 3544 0 0 0 9 0 0 0 20 0 15 0 515863778 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053782768272 140053760097642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863780 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) R 16075 16075 15256 0 -1 4202560 380 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053242152928 140053757682824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) R 16075 16075 15256 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053241108944 140053778544341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0.02 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) R 16075 16075 15256 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053240052344 140053778546070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 7126 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29960 KiB
[startup+0.210559 s]*
/proc/loadavg: 1.65 1.65 1.58 4/229 16091
/proc/meminfo: memFree=26069072/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15144776 memory=41296 CPUtime=0.34 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 9518 0 0 0 32 2 0 0 20 0 15 0 515863777 15508250624 10324 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3786194 10324 3304 1 0 3748377 0
[pid=16077/tid=16078] ppid=16075 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 6565 0 0 0 18 2 0 0 20 0 15 0 515863778 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053782768064 140053778546070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15144776 memory=139850335946295 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515863780 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15144776 memory=139850332124800 CPUtime=0.08 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) R 16075 16075 15256 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053240055792 140053764546161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863783 15508250624 10324 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42752 KiB
[startup+0.3186 s]*
/proc/loadavg: 1.65 1.65 1.58 4/229 16091
/proc/meminfo: memFree=26061304/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15149032 memory=50188 CPUtime=0.54 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 10953 0 0 0 51 3 0 0 20 0 15 0 515863777 15512608768 12547 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787258 12547 3350 1 0 3748377 0
[pid=16077/tid=16078] ppid=16075 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 7826 0 0 0 28 2 0 0 20 0 15 0 515863778 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053782771024 140053762614622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15149032 memory=-7449686455322460319 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515863780 15512608768 12547 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15149032 memory=6576575808607464356 CPUtime=0.04 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 564 0 0 0 5 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 15256 0 -1 1077944384 801 0 0 0 12 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053240055792 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863783 15512608768 12612 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51644 KiB
[startup+0.701598 s]
/proc/loadavg: 1.65 1.65 1.58 5/229 16091
/proc/meminfo: memFree=26034904/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15151156 memory=115676 CPUtime=1.71 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 14900 0 0 0 165 6 0 0 20 0 15 0 515863777 15514783744 28919 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787789 28919 3450 1 0 3748889 0
[pid=16077/tid=16078] ppid=16075 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 9086 0 0 0 64 4 0 0 20 0 15 0 515863778 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053782769616 140053778546070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15151156 memory=64672 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15151156 memory=2832 CPUtime=0.33 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) R 16075 16075 15256 0 -1 4202560 1411 0 0 0 33 0 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053242148208 140053762921184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15151156 memory=1224 CPUtime=0.34 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) R 16075 16075 15256 0 -1 4202560 1537 0 0 0 33 1 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053241095696 140053757967513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15151156 memory=6172 CPUtime=0.33 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) R 16075 16075 15256 0 -1 4202560 1557 0 0 0 33 0 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053240055792 140053778555482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 28919 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117132 KiB
[startup+1.50088 s]
/proc/loadavg: 1.65 1.65 1.58 4/229 16091
/proc/meminfo: memFree=25965528/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15151156 memory=170276 CPUtime=33.11 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 43241 0 0 0 3298 13 0 0 20 0 15 0 515863777 15514783744 42569 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787789 42569 3475 1 0 3748889 0
[pid=16077/tid=16078] ppid=16075 vsize=15151156 memory=1456 CPUtime=28.78 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 13348 0 0 0 2872 6 0 0 20 0 15 0 515863778 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053782770896 140053402334763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15151156 memory=170276 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15151156 memory=808 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15151156 memory=208943314004749 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15151156 memory=-7966001967374371424 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15151156 memory=7680491646476186387 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15151156 memory=0 CPUtime=2.03 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 11947 0 0 0 200 3 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15151156 memory=6791534058613427641 CPUtime=1.68 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 11706 0 0 0 166 2 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15151156 memory=64672 CPUtime=0.57 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 15256 0 -1 1077944384 4183 0 0 0 56 1 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053240055792 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 33.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 171732 KiB
[startup+29.6007 s]
/proc/loadavg: 1.72 1.67 1.59 3/229 16093
/proc/meminfo: memFree=25939476/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15151156 memory=170276 CPUtime=33.91 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 43241 0 0 0 3378 13 0 0 20 0 15 0 515863777 15514783744 42569 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787789 42569 3475 1 0 3748889 0
[pid=16077/tid=16078] ppid=16075 vsize=15151156 memory=988 CPUtime=29.58 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 13348 0 0 0 2952 6 0 0 20 0 15 0 515863778 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053782770784 140053402334446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15151156 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15151156 memory=6172 CPUtime=2.03 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 11947 0 0 0 200 3 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15151156 memory=772 CPUtime=1.68 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 11706 0 0 0 166 2 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15151156 memory=1556 CPUtime=0.57 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 15256 0 -1 1077944384 4183 0 0 0 56 1 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053240055792 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15151156 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 42569 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 33.91 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 171732 KiB
[startup+29.8007 s]
/proc/loadavg: 1.72 1.67 1.59 3/229 16093
/proc/meminfo: memFree=25939476/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15151156 memory=172324 CPUtime=34.11 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 43243 0 0 0 3398 13 0 0 20 0 15 0 515863777 15514783744 43081 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787789 43081 3475 1 0 3748889 0
[pid=16077/tid=16078] ppid=16075 vsize=15151156 memory=35396 CPUtime=29.78 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 13350 0 0 0 2972 6 0 0 20 0 15 0 515863778 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053782770784 140053403465916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15151156 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15151156 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15151156 memory=2648 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15151156 memory=884 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15151156 memory=1440 CPUtime=2.03 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 11947 0 0 0 200 3 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15151156 memory=1768 CPUtime=1.68 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 11706 0 0 0 166 2 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15151156 memory=111636 CPUtime=0.57 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 15256 0 -1 1077944384 4183 0 0 0 56 1 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053240055792 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15151156 memory=808 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 34.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 173780 KiB
[startup+29.9007 s]
/proc/loadavg: 1.72 1.67 1.59 3/229 16093
/proc/meminfo: memFree=25939476/32770624 swapFree=67002028/67108860
[pid=16075] ppid=16072 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16075/stat : 16075 (xcsp3-exec) S 16072 16075 15256 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515863777 115843072 364 33554432000 4194304 5098028 140732928158016 140732928156120 140716065452668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29667328 140732928164695 140732928164953 140732928164953 140732928167878 0
/proc/16075/statm: 28282 364 305 221 0 87 0
[pid=16077] ppid=16075 vsize=15151156 memory=172324 CPUtime=34.21 cores=0,2,4,6
/proc/16077/stat : 16077 (java) S 16075 16075 15256 0 -1 1077944320 43243 0 0 0 3408 13 0 0 20 0 15 0 515863777 15514783744 43081 33554432000 4194304 4196468 140731866613120 140731866595664 140053778534135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
/proc/16077/statm: 3787789 43081 3475 1 0 3748889 0
[pid=16077/tid=16078] ppid=16075 vsize=15151156 memory=1456 CPUtime=29.88 cores=0,2,4,6
/proc/16077/task/16078/stat : 16078 (java) R 16075 16075 15256 0 -1 4202560 13350 0 0 0 2982 6 0 0 20 0 15 0 515863778 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053782770784 140053402334451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16079] ppid=16075 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16079/stat : 16079 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053731154448 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16080] ppid=16075 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16080/stat : 16080 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053730101904 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16081] ppid=16075 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16081/stat : 16081 (java) S 16075 16075 15256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053729048848 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16082] ppid=16075 vsize=15151156 memory=170276 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16082/stat : 16082 (java) S 16075 16075 15256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515863779 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053727996304 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16083] ppid=16075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16083/stat : 16083 (java) S 16075 16075 15256 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053246372592 140053778545282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16084] ppid=16075 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16084/stat : 16084 (java) S 16075 16075 15256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515863780 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053245318816 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16085] ppid=16075 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16085/stat : 16085 (java) S 16075 16075 15256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515863781 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053244265712 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16086] ppid=16075 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16086/stat : 16086 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053243214288 140053778552731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16087] ppid=16075 vsize=15151156 memory=170276 CPUtime=2.03 cores=0,2,4,6
/proc/16077/task/16087/stat : 16087 (java) S 16075 16075 15256 0 -1 1077944384 11947 0 0 0 200 3 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053242161392 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16088] ppid=16075 vsize=15151156 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/16077/task/16088/stat : 16088 (java) S 16075 16075 15256 0 -1 1077944384 11706 0 0 0 166 2 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053241108848 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16089] ppid=16075 vsize=15151156 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/16077/task/16089/stat : 16089 (java) S 16075 16075 15256 0 -1 1077944384 4183 0 0 0 56 1 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053240055792 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16090] ppid=16075 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16090/stat : 16090 (java) S 16075 16075 15256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053239003488 140053778544341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
[pid=16077/tid=16091] ppid=16075 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/16077/task/16091/stat : 16091 (java) S 16075 16075 15256 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 515863783 15514783744 43081 33554432000 4194304 4196468 140731866613120 140053237951536 140053778545282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140731866616795 140731866616970 140731866616970 140731866619855 0
Current children cumulated CPU time: 34.21 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 173780 KiB
Child status: 0
Real time (s): 29.9611
CPU time (s): 34.2796
CPU user time (s): 34.1378
CPU system time (s): 0.141829
CPU usage (%): 114.414
Max. virtual memory (cumulated for all children) (KiB): 15266044
Max. memory (cumulated for all children) (KiB): 175884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1378
system time used= 0.141829
maximum resident set size= 174784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3299
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 16075
# total CPU time (s): 34.2796
# total CPU user time (s): 34.1378
# total CPU system time (s): 0.141829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.165614 second user time and 0.344304 second system time
The end